prenex-normal form
[网络] 前束正规形式
热门查询
- bearded adj. 有芒的；有胡子的；有须的 v. 使长胡须（或芒刺等）（beard的过去分词）
- loudspeaker n. 喇叭，扬声器；扩音器
- taxman n. 税收检查员；收税员
- flounder n. 挣扎，辗转；比目鱼 vi. 挣扎，折腾；错乱地做事或说话
- chafing n. 皮肤发炎；磨损 v. 擦热；使磨损；激怒（chafe的ing形式） adj. 摩擦的；防擦的
- scornfully adv. 轻蔑地；藐视地
- quito n. 基多（厄瓜多尔的首都）
- Bordeaux n. 波尔多葡萄酒；波尔多（法国西南部港市）
- betraying vt. 背叛；出卖；泄露（秘密）；露出…迹象
- overstaffed adj. 人浮于事的；人员过多的
- pathfinder n. 探路者，探险者；开拓者，开创者
- univ abbr. universal 全世界的; 宇宙的; 万能的; 通用的
- romanticist n. 浪漫主义者；浪漫主义艺术家
- gorget n. 颈甲；饰领；（14-15世纪）妇女用护肩布；（鸟、兽类的）颈部斑纹 n. (Gorget)人名；(法)戈尔热
- oppressed adj. 受压制的，受压迫的 v. 压迫；折磨（oppress的过去分词）
- niece n. 外甥女，侄女 n. (Niece)人名；(英)尼斯
- antipasto n. 前菜；开胃菜；开胃食物
- strongman n. 强人；铁腕人物
- annealing n. 热处理；低温退火；磨炼 v. [机][生化] 退火；磨炼（anneal的ing形式）
- tauntingly adv. 辱骂地；嘲笑地
考试词汇表
- total dosage attack
- total dose infusion
- total draw off tray
- total drilling time
- total dynamic error
- total ejection time
- total electric load
- total enclosed type
- total energy method
- total energy system
- total enthalpy gain
- total epidemic size
- total excess profit
- total exposure time
- total field of view
- total flow expander
- total force concept
- total form of value
- total friction head
- total gross traffic
